TIMEDTTCN-3 Based Graphical Real-Time Test Specification
نویسندگان
چکیده
The textual Testing and Test Control Notation (TTCN-3) is frequently used in combination with Message Sequence Chart (MSC) and the MSC-based Graphical Presentation Format for TTCN-3 (GFT). Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions. TIMEDTTCN-3 is an extension of TTCN-3 for testing real-time properties and has been submitted for standardization. For a complete integration of TIMEDTTCN-3 into the TTCN-3-based testing process, the usage of TIMEDTTCN-3 in combination with MSC and GFT needs to be established. This paper presents our approach for graphical real-time test specification based on MSC and TIMEDGFT, which is our real-time extension of GFT. We explain how MSC can be used for the description of realtime test purposes and define TIMEDGFT. Our approach includes the automatic generation of TIMEDTTCN-3 test cases based on MSC test purposes and TIMEDGFT diagrams.
منابع مشابه
Languages, tools and patterns for the specification of distributed real-time tests
For modern distributed systems, it is important that they adhere to realtime requirements, e.g., to deliver a response to a request within a given deadline. For assuring the quality of software systems, testing is the most important means. However, a mature support for real-time testing of distributed systems is missing. This thesis treats languages, tools, and patterns for the specification of...
متن کاملUsing Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems
Interoperability testing is an important technique to ensure the quality of implementations of network communication software, and real-time protocol interoperability testing is an important issue in this area. TIMEDTTCN-3 is a real-time extension of test specification language TTCN-3. In this paper, test notations for real-time interoperability testing are studied. Test behavior trees are cons...
متن کاملTimed TTCN-3 - A Real-time Extension for TTCN-3
The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...
متن کاملTTCN - 3 – A Real - time extension for TTCN - 3
The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...
متن کاملConstructing Test Automata from Graphical Real-Time Requirements
A semantics for a graphical specification language of real-time properties (Constraint Diagrams) is presented. The new semantics is given in terms of Timed Automata. A model in terms of Timed Automata satisfies the property given by a Constraint Diagram if the model in parallel composition with the semantics of the Constraint Diagram can reach a certain state. This kind of question can be check...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003